Transporting Functions across Ornaments Pierre-Evariste Dagand Conor McBride Mathematically Structured Programming group

Source URL: pages.lip6.fr

Question Answering via Integer Programming over Semi-Structured Knowledge Daniel Khashabi† , Tushar Khot‡ , Ashish Sabharwal‡ , Peter Clark‡ , Oren Etzioni‡ , Dan Roth† † University of Illinois at Urbana-Ch

Source URL: ai2-website.s3.amazonaws.com

• Reasoning
• Natural language processing
• Question answering
• Inference
• Multiple choice
• Yahoo! Answers
• Question
• Knowledge representation and reasoning
• Statistics
• Machine learning

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible

Source URL: adam.chlipala.net

igpp.docgen tool Last update: May 10, 2012; Author: Todd King Introduction The igpp.docgen executable jar is a set of tools to parse structured information (metadata) and merge the information with an Apache Velocity tem

Source URL: release.igpp.ucla.edu

• Computing
• Software engineering
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Java platform
• Primitive types
• Java class file
• Java
• C++ classes
• Pointer

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

A Decision Tree Framework for Spatiotemporal Sequence Prediction Taehwan Kim Yisong Yue

Source URL: www.yisongyue.com

• Machine learning
• Conditional random field
• Structured prediction
• Hidden Markov model
• Artificial neural network
• Dynamic programming
• Decision tree learning
• Pattern recognition
• Recursion
• Supervised learning

Memory-Safe Microcontroller Applications with the Bedrock Structured Programming System Benjamin Ezra Barenblat sb Computer Science and Engineering Massachusetts Institute of Technology, June 2013

Source URL: css.csail.mit.edu

Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

Source URL: www.dcs.gla.ac.uk

• Computability theory
• Process calculi
• Π-calculus
• Theory of computation
• Function
• Valuation
• Logarithm
• Μ operator
• Primitive recursive function
• Mathematics
• Theoretical computer science
• Functions and mappings

Composable Specifications for Structured Shared-Memory Communication Benjamin P. Wood Adrian Sampson

Source URL: homes.cs.washington.edu

• Stack
• Inline expansion
• Thread-local storage
• Monitor
• Thread
• Programming language
• Message passing
• Computing
• Software engineering
• Computer programming

CALL FOR PAPERS IEEE Journal of Selected Topics in Signal Processing (J-STSP) Special Issue on Structured Matrices in Signal and Data Processing The idea of representing a signal as a vector living in some linear vector

Source URL: www.signalprocessingsociety.org

• Matrix theory
• Multivariate statistics
• Singular value decomposition
• Data analysis
• Non-negative matrix factorization
• Matrix
• Rank
• Principal component analysis
• Array programming
• Algebra
• Linear algebra
• Mathematics